$\forall$$n$:$\mathbb{N}$, $i$:$\mathbb{N}^{+}$. exp($i$;$n$) $\in$ $\mathbb{N}^{+}$